Linear vs Polynomial Constraints in Database Query Languages

نویسندگان

  • Foto N. Afrati
  • Stavros S. Cosmadakis
  • Stéphane Grumbach
  • Gabriel M. Kuper
چکیده

We prove positive and negative results on the expressive power of the relational calculus augmented with linear constraints. We show non-expressibility of some properties expressed by polynomial constraints. We also show expressibility of some queries involving existence of lines, when the query output has a simple geometrical relation to the input. Finally, we compare the expressive power of linear vs. polynomial constraints in the presence of a discrete order.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

First-Order Languages Expressing Constructible Spatial Database Queries

The research presented in this paper is situated in the framework of constraint databases that was introduced by Kanellakis, Kuper, and Revesz in their seminal paper of 1990. Constraint databases and query languages are defined using real polynomial constraints. As a consequence of a classical result by Tarski, first-order queries in the constraint database model are effectively computable, and...

متن کامل

On Query Languages for Linear Queries Definable with Polynomial Constraints

It has been argued that the linear database model in which semi linear sets are the only geometric objects is very suitable for most spatial database applications For querying linear databases the lan guage FO linear has been proposed We present both negative and positive results regarding the expressiveness of FO linear First we show that the dimension query is de nable in FO linear which allo...

متن کامل

Euclid, Tarski, and Engeler Encompassed

The research presented in this paper is situated in the framework of constraint databases that was introduced by Kanellakis, Kuper, and Revesz in their seminal paper of 1990. In this area, databases and query languages are deened using real polynomial constraints. As a consequence of a classical result by Tarski, rst-order queries in the constraint database model are eeectively computable, and ...

متن کامل

{41 () Constraint Query Algebras

Constraint query languages are natural extensions of relational database query languages. A framework for their declarative speciication (constraint calculi) and eecient implementation (low data complexity and secondary storage indexing) was presented in Kanellakis et al., 1995. Constraint query algebras form a procedural language layer between high-level declarative calculi and low-level index...

متن کامل

انتخاب مناسب‌ترین زبان پرس‌وجو برای استفاده از فرا‌‌پیوندها جهت استخراج داده‌ها در حالت دیتالوگ در سامانه پایگاه داده استنتاجی DES

Deductive Database systems are designed based on a logical data model. Data (as opposed to Relational Databases Management System (RDBMS) in which data stored in tables) are saved as facts in a Deductive Database system. Datalog Educational System (DES) is a Deductive Database system that Datalog mode is the default mode in this system. It can extract data to use outer joins with three query la...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994